/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package chameleon.model.game;

/**
 * This class represent the key for the hashtable is in Game class.
 */

/**
 *
 * @author simon
 */
public class Tag {

    public final static int
            AUTOMATA = 1,
            STATES = 2,
            I_ALPHABET = 3,
            O_ALPHABET = 4,
            BDD = 5,
            INITSTATE = 6,
            WINNING_CONDITION = 7,
            SMVTRANS = 8,
            LTL = 9,
            FLAGS = 10,
            WCSMVFORMAT = 11,
            TRANS_P1=12,
            TRANS_P2=13,
            BDD_FSM_P1 = 14,
            BDD_FSM_P2 = 15,
            GAME_BDD_FSM = 16,
            TRANSITION =17,
            STRATEGY = 18,
            CLS = 19,
            INIT_STRATEGY = 20;

            


}
